we denote many typical arithmetics with apla, such as, non-recursive tree traversals, dijkstra, topological sorting etc . the test result indicates the program transformer can improve the program's reliability and development efficiency . it can replace softeware blue collar to complete mechanical and creative work 5、实现了自动转换系统的泛型问题中的类型参数化问题,解决了apla提供泛型机制,而java语言不支持泛型机制的矛盾。